Revision: tla-tools--devo--0--patch-100
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Wed Oct  8 09:22:18 EDT 2003
Standard-date: 2003-10-08 13:22:18 GMT
Removed-directories: .arch-ids
Modified-files: ChangeLog
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-100
Summary: Remove .arch-ids

